Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 3.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001456 | Patrick Koopmann [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] | Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints |
| 001615 | Fabio Papacchini [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] | Computing Minimal Models Modulo Subset-Simulation for Modal Logics |
| 001661 | Mohammad Khodadadi [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] ; Dmitry Tishkovsky [Royaume-Uni] | A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$ |
| This area was generated with Dilib version V0.6.33. |  |